type go/types.unifier
14 uses
go/types (current package)
unify.go#L72: type unifier struct {
unify.go#L91: func newUnifier(tparams []*TypeParam, targs []Type, enableInterfaceInference bool) *unifier {
unify.go#L105: return &unifier{handles, 0, enableInterfaceInference}
unify.go#L143: func (u *unifier) unify(x, y Type, mode unifyMode) bool {
unify.go#L147: func (u *unifier) tracef(format string, args ...interface{}) {
unify.go#L153: func (u *unifier) String() string {
unify.go#L187: func (u *unifier) join(x, y *TypeParam) bool {
unify.go#L213: func (u *unifier) asBoundTypeParam(x Type) *TypeParam {
unify.go#L224: func (u *unifier) setHandle(x *TypeParam, h *Type) {
unify.go#L235: func (u *unifier) at(x *TypeParam) Type {
unify.go#L241: func (u *unifier) set(x *TypeParam, t Type) {
unify.go#L250: func (u *unifier) unknowns() int {
unify.go#L264: func (u *unifier) inferred(tparams []*TypeParam) []Type {
unify.go#L285: func (u *unifier) nify(x, y Type, mode unifyMode, p *ifacePair) (result bool) {